void main()
{
	char name[64];

	printf("\nThis is u1 running!\n");
	while(1)
	{
		printf("What's your name: ");
		gets(name);
		if (strcmp(name, "quit")==0)
		{
			printf("\nquit : go back to OS at 0x1000\n\n"); 
			return;
		}
		printf("\nWelcome %s\n", name);
	}
}
